GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2h·
Discuss: Hacker News
💭Prolog
Flag this post
Handbook of Satisfiability (2021)
iospress.com·3h·
Discuss: Hacker News
🎯Constraint Programming
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·5h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·1d
💭Prolog
Flag this post
Growing explanations together
clojurecivitas.github.io·1d
🧮Programming Language Theory
Flag this post
Advances In Formal Verification Technology
semiengineering.com·3d
✅Formal Verification
Flag this post
Building a Prompt Engineering Toolkit for Developers
amzn.to·13h·
Discuss: DEV
📝Text Editors
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
I Tried Beating LeetCode Like a Game. It Actually Worked.
dev.to·1d·
Discuss: DEV
🧭SMT Solvers
Flag this post
When Five Dumb AIs Beat One Smart AI: The Case for Multi-Agent Systems
ksramalakshmi.medium.com·4h·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·15h·
Discuss: Lobsters, Hacker News
👐Open Source Software
Flag this post
thread on history of calculus, in this thread i will trace origin of calculus in most unbiased way possible
threadreaderapp.com·2h
🧮Programming Language Theory
Flag this post
A Coding Implementation of a Comprehensive Enterprise AI Benchmarking Framework to Evaluate...
marktechpost.com·1d
🎲Probabilistic Programming
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
🧭SMT Solvers
Flag this post
Are Large Reasoning Models Interruptible?
paperium.net·17h·
Discuss: DEV
🧭SMT Solvers
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·1d·
Discuss: Hacker News, Hacker News
🧭SMT Solvers
Flag this post
my first AI Agent Researcher with Python + Langchain + Ollama :)
reddit.com·2h·
Discuss: r/SoftwareEngineering
⚖️Logic Programming
Flag this post
Entropy in algorithm analysis
11011110.github.io·17h
📈Complexity Theory
Flag this post
Project 2
dev.to·10h·
Discuss: DEV
🤝Protocol Design
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·2h·
Discuss: r/compsci, r/programming
⚙Functional Programming
Flag this post